[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

B grade: { 15, 23, 131, 142 }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 7, 9, 11, 12, 13, 14, 15, 17, 18, 19, 20, 23, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 64, 67, 69, 71, 73, 74, 75, 76, 78, 79, 80, 82, 87, 89, 90, 91, 92, 93, 95, 96, 97, 101, 106, 107, 108, 109, 110, 111, 113, 114, 115, 116, 117, 118, 120, 122, 123, 125, 126, 127, 128, 130, 133, 136, 137, 138, 140, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 170, 172, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 189, 190, 194, 195, 196, 197, 198, 201, 202, 204, 206, 208, 210, 212, 213, 214, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 265, 266, 269, 270, 271, 273, 274, 275, 277, 279, 281, 283, 285, 287, 288, 289, 291, 293, 294 }

B grade: { 6, 21, 24, 63, 66, 68, 70, 72, 81, 84, 85, 86, 88, 98, 99, 100, 103, 104, 105, 119, 121, 134, 143, 169, 171, 173, 179, 185, 188, 191, 192, 193, 199, 200, 203, 205, 207, 209, 211, 241, 242 }

C grade: { 8, 10, 16, 22, 25, 29, 50, 65, 77, 83, 94, 102, 112, 124, 129, 131, 132, 135, 139, 141, 142, 215, 264, 267, 268, 272, 276, 278, 280, 282, 284, 286, 290, 292 }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 22, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 105, 106, 107, 108, 109, 111, 113, 114, 115, 116, 118, 120, 123, 124, 125, 126, 127, 128, 130, 131, 132, 134, 135, 136, 138, 140, 141, 143, 145, 147, 149, 150, 152, 153, 154, 155, 156, 158, 160, 162, 164, 165, 166, 167, 168, 169, 170, 172, 174, 175, 176, 177, 178, 179, 181, 182, 183, 185, 188, 189, 191, 192, 193, 194, 195, 196, 198, 199, 200, 201, 202, 204, 206, 207, 208, 210, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 273, 275, 277, 278, 279, 281, 283, 284, 285, 286, 287, 289, 290, 291, 293, 294 }

B grade: { 8, 13, 21, 23, 24, 25, 67, 85, 103, 104, 110, 112, 117, 119, 121, 122, 129, 133, 137, 139, 142, 144, 146, 148, 151, 157, 159, 161, 163, 171, 173, 180, 184, 186, 190, 197, 203, 205, 209, 211, 249, 276, 280, 282, 288, 292 }

C grade: { }

F grade: { 29, 187, 271, 272, 274 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 9, 11, 16, 18, 20, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 113, 115, 122, 124, 126, 128, 130, 143, 145, 147, 149, 155, 167, 168, 170, 172, 174, 178, 179, 180, 181, 193, 198, 200, 201, 202, 206, 208, 212, 214, 217, 218, 219, 224, 225, 227, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 271, 273, 275, 284, 294 }

B grade: { 8, 10, 12, 13, 14, 15, 17, 19, 21, 22, 23, 24, 25, 26, 28, 67, 85, 104, 110, 111, 112, 114, 116, 117, 118, 119, 120, 121, 123, 125, 127, 129, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 144, 146, 148, 156, 157, 158, 159, 160, 161, 162, 169, 171, 173, 182, 183, 184, 185, 186, 188, 189, 190, 191, 192, 194, 195, 196, 197, 199, 203, 204, 205, 207, 209, 210, 211, 213, 215, 216, 220, 221, 222, 223, 226, 228, 264, 265, 266, 267, 268, 269, 270, 276, 277, 278, 279, 280, 281, 282, 283, 285, 286, 287, 288, 289, 290, 291, 292, 293 }

C grade: { }

F grade: { 29, 150, 151, 152, 153, 154, 163, 164, 165, 166, 175, 176, 177, 187, 257, 258, 259, 260, 261, 262, 263, 272, 274 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 7, 8, 10, 12, 30, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112, 114, 116, 118, 119, 120, 121, 122, 126, 139, 150, 151, 152, 153, 154, 155, 156, 158, 160, 162, 163, 164, 165, 166, 167, 168, 169, 170, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 188, 189, 190, 193, 194, 195, 196, 197, 198, 200, 201, 202, 203, 204, 206, 207, 208, 209, 210, 212, 213, 214, 216, 217, 218, 219, 221, 222, 224, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 273, 276, 277, 278, 280, 281, 282, 283, 284, 286, 288, 290, 292 }

B grade: { 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 37, 67, 85, 104, 113, 115, 117, 123, 124, 125, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 157, 159, 161, 171, 172, 173, 184, 185, 186, 191, 192, 199, 205, 211, 215, 220, 223, 225, 226, 264, 265, 266, 267, 268, 269, 270, 271, 275, 279, 285, 287, 289, 291, 293, 294 }

C grade: { }

F grade: { 29, 187, 272, 274 }

2.1.6 Sympy

A grade: { 2, 3, 4, 5, 6, 7, 10, 16, 30, 31, 32, 33, 34, 35, 43, 44, 45, 46, 47, 48, 57, 58, 59, 60, 61, 62, 74, 75, 76, 77, 78, 79, 92, 93, 94, 95, 96, 97, 114, 124, 150, 151, 152, 153, 154, 155, 163, 164, 165, 166, 167, 168, 175, 176, 177, 178, 179, 180, 202, 232, 284 }

B grade: { 1, 188, 195 }

C grade: { }

F grade: { 8, 9, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 36, 37, 38, 39, 40, 41, 42, 49, 50, 51, 52, 53, 54, 55, 56, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 115, 116, 117, 118, 119, 120, 121, 122, 123, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 156, 157, 158, 159, 160, 161, 162, 169, 170, 171, 172, 173, 174, 181, 182, 183, 184, 185, 186, 187, 189, 190, 191, 192, 193, 194, 196, 197, 198, 199, 200, 201, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 24, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 38, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 54, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 69, 71, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 87, 89, 91, 92, 93, 94, 95, 96, 98, 99, 100, 101, 102, 103, 106, 108, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 122, 124, 125, 126, 127, 128, 129, 130, 131, 134, 136, 137, 138, 139, 140, 143, 145, 147, 148, 149, 150, 151, 152, 153, 154, 155, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 185, 186, 189, 191, 192, 193, 194, 196, 198, 199, 200, 201, 202, 204, 206, 207, 208, 210, 212, 213, 214, 216, 217, 218, 219, 221, 223, 225, 228, 232, 241, 242, 253, 254, 256, 258, 259, 260, 263, 275, 276, 277, 278, 279, 280, 281, 282, 285, 286, 287, 288, 290, 291, 294 }

B grade: { 5, 6, 13, 16, 22, 23, 25, 37, 39, 41, 53, 55, 67, 68, 70, 72, 84, 85, 86, 88, 90, 97, 104, 105, 107, 109, 121, 123, 132, 133, 135, 141, 142, 144, 146, 156, 173, 179, 188, 190, 195, 197, 203, 205, 209, 211, 215, 220, 222, 224, 226, 227, 230, 231, 233, 234, 235, 237, 238, 239, 240, 250, 251, 252, 255, 257, 261, 262, 264, 265, 266, 267, 268, 269, 270, 283, 284, 289, 292, 293 }

C grade: { }

F grade: { 29, 187, 229, 236, 243, 244, 245, 246, 247, 248, 249, 271, 272, 273, 274 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 273, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

C grade: { }

F grade: { 29, 187, 272, 274 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 34 28 25 36 75 33 35
normalized size 1 1.00 0.94 0.78 0.69 1.00 2.08 0.92 0.97
time (sec) N/A 0.049 0.006 0.839 0.312 0.416 0.531 2.726 0.526
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 26 20 20 27 27 25 32
normalized size 1 1.00 1.08 0.83 0.83 1.12 1.12 1.04 1.33
time (sec) N/A 0.041 0.004 0.818 0.322 0.447 0.282 2.961 0.454
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 21 21 19 37 19 19
normalized size 1 1.00 1.00 0.84 0.84 0.76 1.48 0.76 0.76
time (sec) N/A 0.027 0.004 0.157 0.320 0.403 0.163 0.168 0.412
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 11 10 10 8 10 10
normalized size 1 1.00 1.00 1.10 1.00 1.00 0.80 1.00 1.00
time (sec) N/A 0.006 0.002 0.055 0.319 0.509 0.046 1.829 0.399
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 9 9 9 10 9 11 8 24 54
normalized size 1 1.00 1.00 1.11 1.00 1.22 0.89 2.67 6.00
time (sec) N/A 0.019 0.006 0.451 0.312 0.504 1.140 0.206 0.540
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 25 19 24 33 24 33 24
normalized size 1 1.00 2.08 1.58 2.00 2.75 2.00 2.75 2.00
time (sec) N/A 0.033 0.007 0.495 0.322 0.465 1.830 0.200 0.397
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 15 19 17 13 14
normalized size 1 1.00 1.00 0.93 1.00 1.27 1.13 0.87 0.93
time (sec) N/A 0.043 0.008 0.824 0.323 0.434 3.878 0.228 0.409
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 94 173 209 93 0 148 3512
normalized size 1 1.00 1.03 1.90 2.30 1.02 0.00 1.63 38.59
time (sec) N/A 0.107 0.198 0.473 0.428 0.479 0.000 0.214 7.501
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 62 84 106 144 0 94 94
normalized size 1 1.00 0.91 1.24 1.56 2.12 0.00 1.38 1.38
time (sec) N/A 0.078 0.163 0.486 0.429 0.479 0.000 0.258 0.581
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 47 54 88 46 173 55 970
normalized size 1 1.00 1.34 1.54 2.51 1.31 4.94 1.57 27.71
time (sec) N/A 0.057 0.059 0.458 0.425 0.475 0.772 1.456 2.141
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 38 35 61 96 0 61 31
normalized size 1 1.00 1.06 0.97 1.69 2.67 0.00 1.69 0.86
time (sec) N/A 0.018 0.026 0.488 0.427 0.451 0.000 0.414 1.052
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 20 21 48 44 0 22 32
normalized size 1 1.00 0.87 0.91 2.09 1.91 0.00 0.96 1.39
time (sec) N/A 0.070 0.048 0.713 0.324 0.454 0.000 1.718 0.575
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 67 107 107 133 0 108 170
normalized size 1 1.00 1.22 1.95 1.95 2.42 0.00 1.96 3.09
time (sec) N/A 0.068 0.130 0.787 0.430 0.491 0.000 2.970 0.678
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 48 64 119 117 0 78 91
normalized size 1 1.00 0.87 1.16 2.16 2.13 0.00 1.42 1.65
time (sec) N/A 0.121 0.161 11.609 0.324 0.433 0.000 0.187 0.571
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A B A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 283 107 141 253 240 0 186 224
normalized size 1 2.64 1.00 1.32 2.36 2.24 0.00 1.74 2.09
time (sec) N/A 1.169 0.438 0.551 0.424 0.449 0.000 4.740 0.836
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 121 99 117 132 1017 139 626
normalized size 1 1.00 1.89 1.55 1.83 2.06 15.89 2.17 9.78
time (sec) N/A 0.118 0.264 0.557 0.421 0.707 2.196 1.982 7.064
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 62 97 128 164 0 103 86
normalized size 1 1.00 1.03 1.62 2.13 2.73 0.00 1.72 1.43
time (sec) N/A 0.046 0.165 0.547 0.420 0.455 0.000 0.257 0.612
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 14 14 39 0 13 29
normalized size 1 1.00 1.00 0.82 0.82 2.29 0.00 0.76 1.71
time (sec) N/A 0.013 0.021 0.533 0.313 0.438 0.000 0.182 0.431
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 72 106 128 220 0 109 492
normalized size 1 1.00 1.14 1.68 2.03 3.49 0.00 1.73 7.81
time (sec) N/A 0.060 0.331 0.808 0.436 0.562 0.000 4.461 0.812
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 76 60 62 134 0 63 114
normalized size 1 1.00 1.55 1.22 1.27 2.73 0.00 1.29 2.33
time (sec) N/A 0.076 0.201 0.724 0.342 0.582 0.000 0.171 0.621
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 118 118 270 224 242 345 0 215 511
normalized size 1 1.00 2.29 1.90 2.05 2.92 0.00 1.82 4.33
time (sec) N/A 0.180 1.909 0.721 0.435 0.596 0.000 8.783 0.744
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F(-2) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 114 193 359 282 0 242 5324
normalized size 1 1.00 1.16 1.97 3.66 2.88 0.00 2.47 54.33
time (sec) N/A 0.198 0.860 0.577 0.445 0.495 0.000 2.954 8.599
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A B A B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 300 92 212 299 282 0 197 263
normalized size 1 3.26 1.00 2.30 3.25 3.07 0.00 2.14 2.86
time (sec) N/A 0.695 0.429 0.587 0.435 1.405 0.000 0.281 0.797
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 19 47 29 84 116 0 20 48
normalized size 1 1.27 3.13 1.93 5.60 7.73 0.00 1.33 3.20
time (sec) N/A 0.026 0.096 0.691 0.337 0.652 0.000 0.260 0.493
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 101 157 250 225 0 166 216
normalized size 1 1.00 1.38 2.15 3.42 3.08 0.00 2.27 2.96
time (sec) N/A 0.035 0.171 0.538 0.443 0.594 0.000 2.382 0.755
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 96 73 172 220 0 77 131
normalized size 1 1.00 1.63 1.24 2.92 3.73 0.00 1.31 2.22
time (sec) N/A 0.082 0.225 0.666 0.337 0.763 0.000 2.015 0.711
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 184 184 193 333 276 463 0 212 813
normalized size 1 1.00 1.05 1.81 1.50 2.52 0.00 1.15 4.42
time (sec) N/A 0.224 0.795 0.749 0.435 1.918 0.000 3.963 1.005
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 208 151 308 385 0 146 253
normalized size 1 1.00 1.78 1.29 2.63 3.29 0.00 1.25 2.16
time (sec) N/A 0.137 0.835 0.756 0.361 1.939 0.000 1.896 0.856
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 66 66 367 0 0 0 0 0 -1
normalized size 1 1.00 5.56 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.063 3.747 10.852 0.000 0.643 0.000 0.000 0.000
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 57 62 62 62 175 95 149
normalized size 1 1.00 0.66 0.71 0.71 0.71 2.01 1.09 1.71
time (sec) N/A 0.091 0.117 1.087 0.326 0.605 3.105 0.414 4.205
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 60 46 49 51 87 85 67
normalized size 1 1.00 1.00 0.77 0.82 0.85 1.45 1.42 1.12
time (sec) N/A 0.070 0.016 1.053 0.320 0.577 1.606 0.935 0.464
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 62 52 48 51 128 65 107
normalized size 1 1.00 0.95 0.80 0.74 0.78 1.97 1.00 1.65
time (sec) N/A 0.078 0.090 10.813 0.330 0.665 0.876 0.981 4.106
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 44 36 35 38 63 55 47
normalized size 1 1.00 1.00 0.82 0.80 0.86 1.43 1.25 1.07
time (sec) N/A 0.065 0.011 1.028 0.319 0.746 0.434 3.945 0.437
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 46 41 37 35 73 35 35
normalized size 1 1.00 1.07 0.95 0.86 0.81 1.70 0.81 0.81
time (sec) N/A 0.043 0.049 0.708 0.317 0.590 0.210 3.987 0.428
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 46 25 24 23 31 24 38
normalized size 1 1.00 1.92 1.04 1.00 0.96 1.29 1.00 1.58
time (sec) N/A 0.013 0.012 0.130 0.318 0.524 0.140 0.191 0.357
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 24 30 21 0 27 70
normalized size 1 1.00 1.00 1.41 1.76 1.24 0.00 1.59 4.12
time (sec) N/A 0.026 0.017 1.338 0.334 0.751 0.000 0.161 0.572
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 34 40 54 0 54 38
normalized size 1 1.00 1.00 1.42 1.67 2.25 0.00 2.25 1.58
time (sec) N/A 0.045 0.014 1.773 0.325 0.716 0.000 0.234 0.413
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 28 25 30 30 0 25 23
normalized size 1 1.00 1.00 0.89 1.07 1.07 0.00 0.89 0.82
time (sec) N/A 0.058 0.014 1.695 0.322 1.258 0.000 0.259 0.399
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 52 54 61 74 0 99 105
normalized size 1 1.00 1.00 1.04 1.17 1.42 0.00 1.90 2.02
time (sec) N/A 0.067 0.017 2.004 0.324 2.160 0.000 4.021 2.207
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 41 38 41 45 0 48 40
normalized size 1 1.00 0.93 0.86 0.93 1.02 0.00 1.09 0.91
time (sec) N/A 0.063 0.089 1.746 0.326 0.628 0.000 0.246 0.523
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 68 74 86 88 0 141 175
normalized size 1 1.00 0.92 1.00 1.16 1.19 0.00 1.91 2.36
time (sec) N/A 0.081 0.210 11.311 0.327 0.936 0.000 4.687 4.118
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 53 48 53 57 0 70 65
normalized size 1 1.00 0.88 0.80 0.88 0.95 0.00 1.17 1.08
time (sec) N/A 0.071 0.160 1.952 0.329 0.721 0.000 0.241 0.674
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 154 108 98 94 187 155 176
normalized size 1 1.00 1.12 0.79 0.72 0.69 1.36 1.13 1.28
time (sec) N/A 0.138 0.376 1.672 0.327 0.975 5.323 0.866 0.695
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 174 174 147 118 102 95 340 132 156
normalized size 1 1.00 0.84 0.68 0.59 0.55 1.95 0.76 0.90
time (sec) N/A 0.170 0.248 11.253 0.339 0.498 3.480 0.242 0.610
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 116 88 77 74 138 114 115
normalized size 1 1.00 1.13 0.85 0.75 0.72 1.34 1.11 1.12
time (sec) N/A 0.122 0.171 1.763 0.323 0.623 1.752 3.511 0.615
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 98 97 75 75 238 85 89
normalized size 1 1.00 0.78 0.77 0.60 0.60 1.89 0.67 0.71
time (sec) N/A 0.135 0.227 1.425 0.318 0.537 1.046 4.968 0.584
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 64 52 52 53 85 73 77
normalized size 1 1.00 0.96 0.78 0.78 0.79 1.27 1.09 1.15
time (sec) N/A 0.091 0.394 1.428 0.330 0.499 0.478 0.251 0.514
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 52 70 68 52 128 50 63
normalized size 1 1.00 0.95 1.27 1.24 0.95 2.33 0.91 1.15
time (sec) N/A 0.020 0.098 1.189 0.319 0.607 0.274 3.728 0.482
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 84 63 60 62 0 89 66
normalized size 1 1.00 1.53 1.15 1.09 1.13 0.00 1.62 1.20
time (sec) N/A 0.071 0.156 1.855 0.332 0.658 0.000 4.937 0.489
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 69 57 49 60 0 44 118
normalized size 1 1.00 1.77 1.46 1.26 1.54 0.00 1.13 3.03
time (sec) N/A 0.056 0.135 3.741 0.431 0.525 0.000 0.215 0.679
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 67 98 89 96 0 122 106
normalized size 1 1.00 1.00 1.46 1.33 1.43 0.00 1.82 1.58
time (sec) N/A 0.094 0.044 1.689 0.328 0.690 0.000 4.738 0.901
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 46 48 45 55 0 41 68
normalized size 1 1.00 1.53 1.60 1.50 1.83 0.00 1.37 2.27
time (sec) N/A 0.046 0.042 10.894 0.328 0.464 0.000 0.289 0.491
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 120 143 129 120 0 249 216
normalized size 1 1.00 1.00 1.19 1.08 1.00 0.00 2.08 1.80
time (sec) N/A 0.142 0.077 1.961 0.334 0.592 0.000 0.326 3.161
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 54 82 70 79 0 80 98
normalized size 1 1.00 0.64 0.96 0.82 0.93 0.00 0.94 1.15
time (sec) N/A 0.077 0.191 1.971 0.340 0.673 0.000 0.583 0.621
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 104 189 180 142 0 343 328
normalized size 1 1.00 0.62 1.12 1.07 0.85 0.00 2.04 1.95
time (sec) N/A 0.170 0.594 10.992 0.340 0.525 0.000 0.526 3.259
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 104 110 91 100 0 118 130
normalized size 1 1.00 0.83 0.88 0.73 0.80 0.00 0.94 1.04
time (sec) N/A 0.104 0.689 2.100 0.342 0.667 0.000 0.312 0.827
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 265 265 235 175 163 150 532 218 523
normalized size 1 1.00 0.89 0.66 0.62 0.57 2.01 0.82 1.97
time (sec) N/A 0.246 0.472 11.011 0.340 0.718 10.333 0.348 2.289
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 175 204 145 126 123 233 197 214
normalized size 1 1.00 1.17 0.83 0.72 0.70 1.33 1.13 1.22
time (sec) N/A 0.184 0.416 10.379 0.321 0.704 5.528 0.317 0.784
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 216 216 171 155 131 128 400 157 407
normalized size 1 1.00 0.79 0.72 0.61 0.59 1.85 0.73 1.88
time (sec) N/A 0.213 0.301 9.716 0.336 0.590 3.694 0.356 2.030
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 150 125 107 102 182 145 147
normalized size 1 1.00 1.07 0.89 0.76 0.73 1.30 1.04 1.05
time (sec) N/A 0.163 0.290 10.500 0.320 0.696 1.928 0.483 0.698
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 94 114 91 100 272 104 281
normalized size 1 1.00 1.21 1.46 1.17 1.28 3.49 1.33 3.60
time (sec) N/A 0.064 0.391 1.383 0.330 0.694 1.120 0.244 1.627
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 81 75 84 77 117 91 104
normalized size 1 1.00 1.40 1.29 1.45 1.33 2.02 1.57 1.79
time (sec) N/A 0.023 0.340 9.743 0.322 0.873 0.520 0.204 0.572
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 401 123 91 79 0 93 156
normalized size 1 1.00 4.41 1.35 1.00 0.87 0.00 1.02 1.71
time (sec) N/A 0.119 0.808 1.592 0.336 0.714 0.000 0.252 1.242
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 131 126 84 109 0 150 116
normalized size 1 1.00 1.52 1.47 0.98 1.27 0.00 1.74 1.35
time (sec) N/A 0.112 1.071 10.959 0.330 0.648 0.000 0.293 1.051
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 79 93 85 88 0 71 183
normalized size 1 1.00 1.10 1.29 1.18 1.22 0.00 0.99 2.54
time (sec) N/A 0.093 0.267 1.796 0.421 0.721 0.000 0.323 1.864
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 293 187 118 123 0 171 160
normalized size 1 1.00 2.84 1.82 1.15 1.19 0.00 1.66 1.55
time (sec) N/A 0.123 1.631 10.246 0.329 0.719 0.000 0.329 2.378
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 57 72 87 78 0 57 88
normalized size 1 1.00 1.90 2.40 2.90 2.60 0.00 1.90 2.93
time (sec) N/A 0.047 0.178 11.415 0.342 0.756 0.000 0.598 0.636
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 464 256 157 147 0 333 293
normalized size 1 1.00 2.94 1.62 0.99 0.93 0.00 2.11 1.85
time (sec) N/A 0.181 1.325 2.360 0.330 0.735 0.000 0.519 4.278
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 54 127 122 105 0 112 123
normalized size 1 1.00 0.45 1.06 1.02 0.88 0.00 0.93 1.02
time (sec) N/A 0.098 0.373 20.798 0.329 0.515 0.000 0.342 0.841
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 637 328 208 170 0 465 423
normalized size 1 1.00 3.03 1.56 0.99 0.81 0.00 2.21 2.01
time (sec) N/A 0.220 2.131 11.101 0.333 0.733 0.000 0.385 4.282
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 174 174 115 173 154 128 0 166 156
normalized size 1 1.00 0.66 0.99 0.89 0.74 0.00 0.95 0.90
time (sec) N/A 0.140 0.635 9.661 0.334 0.808 0.000 0.429 1.154
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 259 259 810 399 248 192 0 597 547
normalized size 1 1.00 3.13 1.54 0.96 0.74 0.00 2.31 2.11
time (sec) N/A 0.268 4.025 21.070 0.339 0.763 0.000 0.906 4.557
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 213 177 219 184 150 0 220 189
normalized size 1 1.00 0.83 1.03 0.86 0.70 0.00 1.03 0.89
time (sec) N/A 0.179 2.073 20.739 0.333 0.582 0.000 0.448 1.580
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 279 279 237 236 186 177 367 269 334
normalized size 1 1.00 0.85 0.85 0.67 0.63 1.32 0.96 1.20
time (sec) N/A 0.258 0.709 11.184 0.330 0.662 15.615 0.702 2.001
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 381 381 222 250 199 184 760 245 343
normalized size 1 1.00 0.58 0.66 0.52 0.48 1.99 0.64 0.90
time (sec) N/A 0.389 0.610 21.237 0.332 0.762 11.257 0.671 1.688
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 220 220 204 206 154 149 286 229 291
normalized size 1 1.00 0.93 0.94 0.70 0.68 1.30 1.04 1.32
time (sec) N/A 0.234 0.537 39.350 0.330 0.621 5.708 0.491 1.277
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 301 301 178 219 170 151 563 187 471
normalized size 1 1.00 0.59 0.73 0.56 0.50 1.87 0.62 1.56
time (sec) N/A 0.303 0.426 28.973 0.342 0.685 3.988 2.017 2.306
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 146 142 123 123 206 165 204
normalized size 1 1.00 0.88 0.86 0.75 0.75 1.25 1.00 1.24
time (sec) N/A 0.181 0.428 39.384 0.332 0.776 1.994 2.941 0.828
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 107 153 136 121 381 122 320
normalized size 1 1.00 0.99 1.42 1.26 1.12 3.53 1.13 2.96
time (sec) N/A 0.044 0.432 30.891 0.337 0.927 1.217 2.922 1.959
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 181 163 126 121 0 217 190
normalized size 1 1.00 1.21 1.09 0.84 0.81 0.00 1.45 1.27
time (sec) N/A 0.153 0.953 11.205 0.342 0.827 0.000 0.396 2.750
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 477 210 135 136 0 128 255
normalized size 1 1.00 4.01 1.76 1.13 1.14 0.00 1.08 2.14
time (sec) N/A 0.183 6.261 52.301 0.440 0.827 0.000 3.522 1.231
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 151 151 268 211 142 153 0 206 221
normalized size 1 1.00 1.77 1.40 0.94 1.01 0.00 1.36 1.46
time (sec) N/A 0.164 2.556 29.434 0.349 1.052 0.000 0.399 2.962
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 105 145 116 119 0 104 546
normalized size 1 1.00 1.02 1.41 1.13 1.16 0.00 1.01 5.30
time (sec) N/A 0.156 0.404 1.921 0.420 0.579 0.000 0.376 1.794
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 936 297 192 163 0 325 278
normalized size 1 1.00 5.57 1.77 1.14 0.97 0.00 1.93 1.65
time (sec) N/A 0.195 6.235 37.628 0.335 0.759 0.000 0.478 4.215
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 73 96 103 109 0 73 139
normalized size 1 1.00 2.43 3.20 3.43 3.63 0.00 2.43 4.63
time (sec) N/A 0.048 0.316 27.471 0.328 0.529 0.000 0.656 0.800
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 258 258 1342 394 251 187 0 536 419
normalized size 1 1.00 5.20 1.53 0.97 0.72 0.00 2.08 1.62
time (sec) N/A 0.294 6.251 65.240 0.334 0.811 0.000 0.486 4.266
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 54 171 151 142 0 144 186
normalized size 1 1.00 0.38 1.20 1.06 0.99 0.00 1.01 1.30
time (sec) N/A 0.123 0.552 52.372 0.328 0.493 0.000 0.435 1.098
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 330 330 1732 491 322 214 0 706 566
normalized size 1 1.00 5.25 1.49 0.98 0.65 0.00 2.14 1.72
time (sec) N/A 0.343 6.391 68.458 0.335 0.555 0.000 0.507 4.400
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 115 236 193 167 0 214 447
normalized size 1 1.00 0.57 1.17 0.96 0.83 0.00 1.06 2.22
time (sec) N/A 0.171 0.905 75.918 0.331 0.761 0.000 0.435 4.284
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 408 408 242 590 382 251 0 880 703
normalized size 1 1.00 0.59 1.45 0.94 0.62 0.00 2.16 1.72
time (sec) N/A 0.398 1.312 74.032 0.344 0.899 0.000 0.524 5.147
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 254 254 175 300 233 194 0 284 560
normalized size 1 1.00 0.69 1.18 0.92 0.76 0.00 1.12 2.20
time (sec) N/A 0.219 1.804 78.721 0.333 0.483 0.000 0.535 4.818
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 515 515 307 335 290 250 1037 342 801
normalized size 1 1.00 0.60 0.65 0.56 0.49 2.01 0.66 1.56
time (sec) N/A 0.485 1.227 0.329 0.340 0.808 27.116 0.863 2.513
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 337 337 278 291 224 217 440 313 495
normalized size 1 1.00 0.82 0.86 0.66 0.64 1.31 0.93 1.47
time (sec) N/A 0.300 1.017 0.237 0.331 0.677 16.229 0.700 4.342
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 426 426 259 305 228 220 826 278 650
normalized size 1 1.00 0.61 0.72 0.54 0.52 1.94 0.65 1.53
time (sec) N/A 0.413 0.866 0.178 0.328 0.704 11.543 0.644 2.480
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 275 275 236 261 194 186 357 259 372
normalized size 1 1.00 0.86 0.95 0.71 0.68 1.30 0.94 1.35
time (sec) N/A 0.281 0.746 0.159 0.328 0.630 6.049 0.597 4.421
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 188 236 187 182 609 211 472
normalized size 1 1.00 1.49 1.87 1.48 1.44 4.83 1.67 3.75
time (sec) N/A 0.090 0.614 0.115 0.328 0.619 4.173 0.528 2.319
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 156 175 172 155 267 187 248
normalized size 1 1.00 1.66 1.86 1.83 1.65 2.84 1.99 2.64
time (sec) N/A 0.047 0.464 0.150 0.328 0.679 2.141 0.328 0.938
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 711 272 170 160 0 199 297
normalized size 1 1.00 4.18 1.60 1.00 0.94 0.00 1.17 1.75
time (sec) N/A 0.222 6.445 0.237 0.327 0.534 0.000 4.848 2.648
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 205 205 632 251 162 177 0 283 277
normalized size 1 1.00 3.08 1.22 0.79 0.86 0.00 1.38 1.35
time (sec) N/A 0.216 6.296 0.239 0.331 0.609 0.000 0.559 3.978
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 169 169 571 291 179 177 0 173 354
normalized size 1 1.00 3.38 1.72 1.06 1.05 0.00 1.02 2.09
time (sec) N/A 0.231 6.364 0.241 0.426 0.456 0.000 0.578 2.533
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 397 327 181 190 0 281 302
normalized size 1 1.00 1.95 1.60 0.89 0.93 0.00 1.38 1.48
time (sec) N/A 0.208 5.899 0.233 0.335 0.497 0.000 0.599 4.047
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 126 202 174 155 0 144 971
normalized size 1 1.00 0.86 1.37 1.18 1.05 0.00 0.98 6.61
time (sec) N/A 0.230 0.737 0.234 0.422 0.640 0.000 0.623 3.447
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 224 1219 440 230 196 0 410 345
normalized size 1 1.00 5.44 1.96 1.03 0.88 0.00 1.83 1.54
time (sec) N/A 0.233 6.294 0.227 0.337 0.643 0.000 0.642 4.256
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 89 120 166 144 0 89 169
normalized size 1 1.00 2.97 4.00 5.53 4.80 0.00 2.97 5.63
time (sec) N/A 0.048 0.495 0.282 0.347 0.522 0.000 2.263 0.976
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 318 318 1677 564 289 227 0 680 514
normalized size 1 1.00 5.27 1.77 0.91 0.71 0.00 2.14 1.62
time (sec) N/A 0.337 6.335 0.285 0.341 0.594 0.000 6.462 4.205
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 177 177 54 217 223 176 0 176 419
normalized size 1 1.00 0.31 1.23 1.26 0.99 0.00 0.99 2.37
time (sec) N/A 0.152 0.448 0.279 0.957 0.447 0.000 2.942 4.272
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 391 391 331 688 360 257 0 888 675
normalized size 1 1.00 0.85 1.76 0.92 0.66 0.00 2.27 1.73
time (sec) N/A 0.389 2.138 0.280 1.009 0.624 0.000 0.739 4.709
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 242 242 115 299 275 207 0 262 548
normalized size 1 1.00 0.48 1.24 1.14 0.86 0.00 1.08 2.26
time (sec) N/A 0.222 1.222 0.271 0.785 0.528 0.000 1.179 4.442
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 472 472 374 814 420 287 0 1096 831
normalized size 1 1.00 0.79 1.72 0.89 0.61 0.00 2.32 1.76
time (sec) N/A 0.467 1.795 0.282 0.542 0.674 0.000 12.983 5.924
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 218 524 564 208 0 322 6099
normalized size 1 1.00 0.96 2.31 2.48 0.92 0.00 1.42 26.87
time (sec) N/A 0.214 0.418 0.210 1.667 0.598 0.000 2.928 11.158
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 137 221 379 262 0 286 342
normalized size 1 1.00 0.83 1.33 2.28 1.58 0.00 1.72 2.06
time (sec) N/A 0.175 0.986 0.179 0.534 0.573 0.000 0.303 3.316
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 143 236 284 119 0 182 3572
normalized size 1 1.00 1.20 1.98 2.39 1.00 0.00 1.53 30.02
time (sec) N/A 0.129 0.231 0.162 2.008 0.587 0.000 0.282 6.163
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 79 90 142 187 0 118 110
normalized size 1 1.00 0.87 0.99 1.56 2.05 0.00 1.30 1.21
time (sec) N/A 0.082 0.180 0.161 0.570 0.644 0.000 1.325 0.631
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 41 74 124 61 296 74 1069
normalized size 1 1.00 0.91 1.64 2.76 1.36 6.58 1.64 23.76
time (sec) N/A 0.066 0.062 0.151 0.605 0.695 1.749 0.195 1.156
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 45 43 80 131 0 74 39
normalized size 1 1.00 0.96 0.91 1.70 2.79 0.00 1.57 0.83
time (sec) N/A 0.023 0.032 0.144 0.731 0.764 0.000 2.751 0.467
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 18 19 103 59 0 19 62
normalized size 1 1.00 0.44 0.46 2.51 1.44 0.00 0.46 1.51
time (sec) N/A 0.082 0.026 0.213 2.216 0.755 0.000 1.969 0.723
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 109 174 163 191 0 136 310
normalized size 1 1.00 1.36 2.18 2.04 2.39 0.00 1.70 3.88
time (sec) N/A 0.084 0.139 0.227 1.693 0.718 0.000 0.322 0.713
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 52 72 238 117 0 54 300
normalized size 1 1.00 0.59 0.82 2.70 1.33 0.00 0.61 3.41
time (sec) N/A 0.141 0.146 0.234 0.600 0.659 0.000 4.587 1.496
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 153 321 488 361 259 0 278 724
normalized size 1 1.00 2.10 3.19 2.36 1.69 0.00 1.82 4.73
time (sec) N/A 0.157 2.000 0.244 0.419 0.715 0.000 3.037 2.213
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 99 162 462 183 0 120 575
normalized size 1 1.00 0.63 1.03 2.92 1.16 0.00 0.76 3.64
time (sec) N/A 0.222 1.173 0.231 0.345 0.452 0.000 4.893 3.682
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 262 262 661 994 625 346 0 554 2979
normalized size 1 1.00 2.52 3.79 2.39 1.32 0.00 2.11 11.37
time (sec) N/A 0.256 5.029 0.257 0.439 0.895 0.000 0.362 2.841
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 149 292 282 279 0 250 6604
normalized size 1 1.00 1.03 2.01 1.94 1.92 0.00 1.72 45.54
time (sec) N/A 0.293 0.975 0.230 0.553 0.619 0.000 0.198 11.457
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 231 130 172 348 302 0 286 286
normalized size 1 1.67 0.94 1.25 2.52 2.19 0.00 2.07 2.07
time (sec) N/A 1.048 0.756 0.235 2.551 0.566 0.000 0.322 2.813
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 192 130 131 173 1552 159 3114
normalized size 1 1.00 2.34 1.59 1.60 2.11 18.93 1.94 37.98
time (sec) N/A 0.137 0.403 0.211 0.432 0.538 6.382 1.962 4.867
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 79 118 182 215 0 138 136
normalized size 1 1.00 0.95 1.42 2.19 2.59 0.00 1.66 1.64
time (sec) N/A 0.067 0.217 0.207 0.441 0.553 0.000 0.303 0.840
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 21 21 57 0 20 47
normalized size 1 1.00 1.00 0.66 0.66 1.78 0.00 0.62 1.47
time (sec) N/A 0.017 0.032 0.196 0.340 0.553 0.000 1.614 0.486
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 120 174 212 293 0 166 383
normalized size 1 1.00 1.30 1.89 2.30 3.18 0.00 1.80 4.16
time (sec) N/A 0.079 0.787 0.276 0.426 0.589 0.000 0.355 1.171
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 51 78 60 178 0 71 382
normalized size 1 1.00 0.68 1.04 0.80 2.37 0.00 0.95 5.09
time (sec) N/A 0.096 0.265 0.306 0.330 0.482 0.000 0.247 2.360
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 179 179 709 440 471 355 0 280 585
normalized size 1 1.00 3.96 2.46 2.63 1.98 0.00 1.56 3.27
time (sec) N/A 0.240 6.115 0.323 0.438 0.615 0.000 0.343 1.900
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 122 174 115 281 0 149 1132
normalized size 1 1.00 0.87 1.23 0.82 1.99 0.00 1.06 8.03
time (sec) N/A 0.150 2.779 0.342 0.330 0.458 0.000 0.248 4.203
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A B C A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 216 492 211 283 658 480 0 399 610
normalized size 1 2.28 0.98 1.31 3.05 2.22 0.00 1.85 2.82
time (sec) N/A 1.742 1.118 0.269 0.443 0.565 0.000 0.992 4.253
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F(-2) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 154 219 481 341 0 265 6190
normalized size 1 1.00 1.26 1.80 3.94 2.80 0.00 2.17 50.74
time (sec) N/A 0.212 1.260 0.253 0.464 0.565 0.000 0.387 8.539
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 225 119 280 412 352 0 293 443
normalized size 1 1.89 1.00 2.35 3.46 2.96 0.00 2.46 3.72
time (sec) N/A 0.588 0.705 0.248 0.437 0.673 0.000 2.195 1.718
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 30 57 21 171 142 0 20 85
normalized size 1 1.36 2.59 0.95 7.77 6.45 0.00 0.91 3.86
time (sec) N/A 0.031 0.122 0.230 0.356 0.528 0.000 0.439 0.615
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 132 191 326 294 0 221 260
normalized size 1 1.00 1.28 1.85 3.17 2.85 0.00 2.15 2.52
time (sec) N/A 0.049 0.269 0.256 0.455 0.612 0.000 1.590 2.733
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 57 84 315 284 0 62 396
normalized size 1 1.00 0.66 0.98 3.66 3.30 0.00 0.72 4.60
time (sec) N/A 0.103 0.521 0.394 0.338 0.596 0.000 1.833 2.595
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 260 260 396 611 518 513 0 314 1311
normalized size 1 1.00 1.52 2.35 1.99 1.97 0.00 1.21 5.04
time (sec) N/A 0.286 2.440 0.409 0.457 0.616 0.000 1.323 2.620
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 140 184 652 354 0 140 1204
normalized size 1 1.00 0.87 1.14 4.05 2.20 0.00 0.87 7.48
time (sec) N/A 0.168 2.998 0.404 0.373 0.692 0.000 0.598 4.744
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 383 383 688 1125 902 564 0 510 1203
normalized size 1 1.00 1.80 2.94 2.36 1.47 0.00 1.33 3.14
time (sec) N/A 0.785 2.464 0.397 0.523 0.889 0.000 2.074 3.822
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 232 232 272 321 1053 476 0 243 1712
normalized size 1 1.00 1.17 1.38 4.54 2.05 0.00 1.05 7.38
time (sec) N/A 0.244 1.336 0.431 0.389 0.777 0.000 1.004 7.638
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F(-2) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 419 304 385 575 0 370 8586
normalized size 1 1.00 2.54 1.84 2.33 3.48 0.00 2.24 52.04
time (sec) N/A 0.303 6.238 0.303 0.430 0.582 0.000 1.822 12.555
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A B C B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 362 165 494 724 524 0 524 764
normalized size 1 2.31 1.05 3.15 4.61 3.34 0.00 3.34 4.87
time (sec) N/A 1.173 1.118 0.309 0.445 0.758 0.000 0.435 2.691
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 124 21 53 255 0 20 224
normalized size 1 1.00 4.13 0.70 1.77 8.50 0.00 0.67 7.47
time (sec) N/A 0.053 0.655 0.302 0.339 0.569 0.000 1.455 1.292
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 128 383 606 420 0 426 505
normalized size 1 1.00 0.91 2.72 4.30 2.98 0.00 3.02 3.58
time (sec) N/A 0.111 0.728 0.303 0.446 0.741 0.000 4.080 3.821
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 85 64 85 217 0 50 222
normalized size 1 1.00 0.87 0.65 0.87 2.21 0.00 0.51 2.27
time (sec) N/A 0.040 0.292 0.279 0.345 0.558 0.000 1.899 1.249
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 290 1367 661 745 0 527 2848
normalized size 1 1.00 1.26 5.92 2.86 3.23 0.00 2.28 12.33
time (sec) N/A 0.170 3.276 0.420 0.469 0.781 0.000 4.072 4.830
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 133 188 144 537 0 138 666
normalized size 1 1.00 0.96 1.36 1.04 3.89 0.00 1.00 4.83
time (sec) N/A 0.160 2.167 0.411 0.408 0.719 0.000 4.817 4.438
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 400 400 538 1255 936 820 0 548 1961
normalized size 1 1.00 1.34 3.14 2.34 2.05 0.00 1.37 4.90
time (sec) N/A 0.796 3.465 0.473 0.484 0.813 0.000 3.103 4.593
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 232 232 295 330 217 553 0 249 1599
normalized size 1 1.00 1.27 1.42 0.94 2.38 0.00 1.07 6.89
time (sec) N/A 0.249 2.014 0.428 0.334 0.776 0.000 0.273 7.970
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 82 137 0 76 223 116 164
normalized size 1 1.00 0.83 1.38 0.00 0.77 2.25 1.17 1.66
time (sec) N/A 0.151 0.137 0.231 0.000 0.591 0.412 0.239 5.137
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 111 141 0 63 199 119 134
normalized size 1 1.00 1.59 2.01 0.00 0.90 2.84 1.70 1.91
time (sec) N/A 0.128 0.067 0.165 0.000 0.538 0.468 1.226 2.087
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 60 98 0 54 155 99 111
normalized size 1 1.00 0.80 1.31 0.00 0.72 2.07 1.32 1.48
time (sec) N/A 0.128 0.099 0.161 0.000 0.556 0.300 0.189 3.433
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 73 75 0 41 129 67 78
normalized size 1 1.00 1.40 1.44 0.00 0.79 2.48 1.29 1.50
time (sec) N/A 0.120 0.069 0.161 0.000 0.493 0.483 1.796 0.772
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 38 59 0 32 61 60 39
normalized size 1 1.00 0.83 1.28 0.00 0.70 1.33 1.30 0.85
time (sec) N/A 0.029 0.066 0.148 0.000 0.600 0.206 2.931 0.712
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 23 29 17 31 21 25
normalized size 1 1.00 1.00 0.79 1.00 0.59 1.07 0.72 0.86
time (sec) N/A 0.016 0.033 0.134 0.316 0.565 0.141 0.163 0.613
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 22 101 26 0 57 41
normalized size 1 1.00 1.00 0.96 4.39 1.13 0.00 2.48 1.78
time (sec) N/A 0.070 0.066 0.181 0.336 0.550 0.000 0.195 0.739
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 35 85 83 80 0 58 43
normalized size 1 1.00 1.13 2.74 2.68 2.58 0.00 1.87 1.39
time (sec) N/A 0.094 0.219 0.211 0.417 0.608 0.000 2.581 0.670
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 35 26 108 33 0 27 25
normalized size 1 1.00 1.03 0.76 3.18 0.97 0.00 0.79 0.74
time (sec) N/A 0.107 0.192 0.220 0.346 0.548 0.000 0.234 0.684
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 54 258 186 174 0 99 116
normalized size 1 1.00 0.90 4.30 3.10 2.90 0.00 1.65 1.93
time (sec) N/A 0.117 0.246 0.231 0.331 0.518 0.000 2.725 2.552
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 53 47 211 72 0 47 99
normalized size 1 1.00 1.02 0.90 4.06 1.38 0.00 0.90 1.90
time (sec) N/A 0.116 0.279 0.223 0.346 0.475 0.000 0.229 1.291
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 66 430 289 266 0 138 193
normalized size 1 1.00 0.79 5.12 3.44 3.17 0.00 1.64 2.30
time (sec) N/A 0.133 0.465 0.237 0.353 0.599 0.000 0.232 4.246
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 67 68 313 109 0 67 139
normalized size 1 1.00 0.96 0.97 4.47 1.56 0.00 0.96 1.99
time (sec) N/A 0.122 0.372 0.231 0.358 0.469 0.000 0.224 1.889
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 149 174 0 74 233 145 161
normalized size 1 1.00 1.75 2.05 0.00 0.87 2.74 1.71 1.89
time (sec) N/A 0.186 0.105 0.194 0.000 0.581 0.590 1.205 4.114
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 82 117 0 65 190 103 138
normalized size 1 1.00 0.81 1.16 0.00 0.64 1.88 1.02 1.37
time (sec) N/A 0.101 0.123 0.201 0.000 0.577 0.370 0.250 4.736
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 111 108 0 52 165 93 90
normalized size 1 1.00 1.63 1.59 0.00 0.76 2.43 1.37 1.32
time (sec) N/A 0.176 0.082 0.184 0.000 0.422 0.411 0.235 1.015
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 60 79 0 43 119 72 69
normalized size 1 1.00 0.67 0.89 0.00 0.48 1.34 0.81 0.78
time (sec) N/A 0.082 0.100 0.190 0.000 0.474 0.228 0.419 1.756
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 73 57 45 30 94 47 79
normalized size 1 1.00 1.40 1.10 0.87 0.58 1.81 0.90 1.52
time (sec) N/A 0.114 0.057 0.168 0.328 0.585 0.234 1.068 0.647
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 23 22 17 46 30 31
normalized size 1 1.00 1.00 0.74 0.71 0.55 1.48 0.97 1.00
time (sec) N/A 0.016 0.041 0.154 0.316 0.429 0.143 0.189 0.611
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 184 63 117 64 0 57 44
normalized size 1 1.00 4.00 1.37 2.54 1.39 0.00 1.24 0.96
time (sec) N/A 0.115 0.242 0.227 0.425 0.487 0.000 1.682 0.672
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 71 35 30 68 0 100 83
normalized size 1 1.00 1.29 0.64 0.55 1.24 0.00 1.82 1.51
time (sec) N/A 0.071 0.423 0.241 0.333 0.593 0.000 2.926 0.782
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 146 170 167 134 0 95 104
normalized size 1 1.00 2.61 3.04 2.98 2.39 0.00 1.70 1.86
time (sec) N/A 0.146 0.432 0.250 0.333 0.889 0.000 0.335 1.181
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 68 36 35 54 0 35 49
normalized size 1 1.00 2.00 1.06 1.03 1.59 0.00 1.03 1.44
time (sec) N/A 0.064 0.260 0.257 0.514 0.635 0.000 1.630 0.725
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 215 342 295 230 0 151 136
normalized size 1 1.00 2.56 4.07 3.51 2.74 0.00 1.80 1.62
time (sec) N/A 0.192 0.997 0.275 0.344 0.508 0.000 0.260 3.208
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 77 47 47 97 0 47 76
normalized size 1 1.00 1.10 0.67 0.67 1.39 0.00 0.67 1.09
time (sec) N/A 0.078 0.412 0.254 0.336 0.807 0.000 0.235 0.915
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 106 137 0 76 228 119 164
normalized size 1 1.00 0.85 1.10 0.00 0.61 1.82 0.95 1.31
time (sec) N/A 0.111 0.186 0.198 0.000 1.259 0.444 0.283 4.785
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 149 141 0 63 201 119 134
normalized size 1 1.00 1.41 1.33 0.00 0.59 1.90 1.12 1.26
time (sec) N/A 0.234 0.079 0.194 0.000 2.121 0.477 0.265 3.169
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 84 98 0 54 160 80 96
normalized size 1 1.00 0.64 0.75 0.00 0.41 1.22 0.61 0.73
time (sec) N/A 0.141 0.113 0.194 0.000 0.620 0.313 0.255 3.487
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 111 90 69 41 136 73 133
normalized size 1 1.00 1.23 1.00 0.77 0.46 1.51 0.81 1.48
time (sec) N/A 0.221 0.073 0.191 0.526 0.909 0.345 1.504 0.867
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 77 23 51 30 97 57 100
normalized size 1 1.00 2.41 0.72 1.59 0.94 3.03 1.78 3.12
time (sec) N/A 0.032 0.058 0.167 0.367 0.670 0.221 0.974 0.754
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 57 29 17 46 36 68
normalized size 1 1.00 1.00 1.84 0.94 0.55 1.48 1.16 2.19
time (sec) N/A 0.016 0.038 0.172 0.557 0.998 0.147 1.898 0.632
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 91 40 99 55 0 100 101
normalized size 1 1.00 1.49 0.66 1.62 0.90 0.00 1.64 1.66
time (sec) N/A 0.064 0.282 0.257 0.791 0.561 0.000 0.311 0.773
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 109 108 329 112 0 110 105
normalized size 1 1.00 1.76 1.74 5.31 1.81 0.00 1.77 1.69
time (sec) N/A 0.162 0.329 0.279 0.740 0.611 0.000 0.622 0.992
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 110 52 299 110 0 128 104
normalized size 1 1.00 1.47 0.69 3.99 1.47 0.00 1.71 1.39
time (sec) N/A 0.081 0.616 0.294 0.504 1.080 0.000 0.296 0.924
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 64 258 215 182 0 112 135
normalized size 1 1.00 0.84 3.39 2.83 2.39 0.00 1.47 1.78
time (sec) N/A 0.182 0.468 0.294 0.369 0.459 0.000 0.282 2.720
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 90 47 240 69 0 47 55
normalized size 1 1.00 2.65 1.38 7.06 2.03 0.00 1.38 1.62
time (sec) N/A 0.063 0.466 0.301 0.379 1.424 0.000 0.407 0.883
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 115 430 341 278 0 164 150
normalized size 1 1.00 1.11 4.13 3.28 2.67 0.00 1.58 1.44
time (sec) N/A 0.230 0.432 0.305 0.350 1.082 0.000 1.955 3.293
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 90 0 0 0 0 0 -1
normalized size 1 1.00 1.36 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.061 2.166 0.678 0.000 0.678 0.000 0.000 0.000
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 5 5 16 6 31 5 17 22 21
normalized size 1 1.00 3.20 1.20 6.20 1.00 3.40 4.40 4.20
time (sec) N/A 0.023 0.019 0.080 0.321 1.046 0.134 5.739 1.108
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 19 11 54 10 0 10 21
normalized size 1 1.00 1.90 1.10 5.40 1.00 0.00 1.00 2.10
time (sec) N/A 0.068 0.021 0.106 0.413 0.763 0.000 0.157 0.596
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 4 4 4 15 30 4 0 14 4
normalized size 1 1.00 1.00 3.75 7.50 1.00 0.00 3.50 1.00
time (sec) N/A 0.060 0.018 0.109 0.424 1.371 0.000 0.828 0.554
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 25 13 28 24 0 12 12
normalized size 1 1.00 2.27 1.18 2.55 2.18 0.00 1.09 1.09
time (sec) N/A 0.053 0.033 0.077 0.429 0.701 0.000 0.959 0.583
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 9 9 20 10 23 22 0 10 23
normalized size 1 1.00 2.22 1.11 2.56 2.44 0.00 1.11 2.56
time (sec) N/A 0.078 0.022 0.130 0.491 0.680 0.000 3.984 0.593
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 23 11 15 18 0 10 10
normalized size 1 1.00 2.30 1.10 1.50 1.80 0.00 1.00 1.00
time (sec) N/A 0.024 0.017 0.072 0.426 1.952 0.000 0.200 0.555
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 20 8 25 13 0 12 15
normalized size 1 1.00 1.82 0.73 2.27 1.18 0.00 1.09 1.36
time (sec) N/A 0.055 0.022 0.119 0.570 0.499 0.000 0.161 0.574
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 9 9 18 8 29 9 17 20 19
normalized size 1 1.00 2.00 0.89 3.22 1.00 1.89 2.22 2.11
time (sec) N/A 0.027 0.018 0.085 0.341 0.496 0.142 0.167 0.957
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 23 13 54 14 0 14 23
normalized size 1 1.00 1.64 0.93 3.86 1.00 0.00 1.00 1.64
time (sec) N/A 0.082 0.021 0.105 1.027 1.463 0.000 2.392 0.608
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 6 6 6 15 30 6 0 14 6
normalized size 1 1.00 1.00 2.50 5.00 1.00 0.00 2.33 1.00
time (sec) N/A 0.060 0.020 0.114 0.491 0.583 0.000 1.026 0.577
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 29 15 28 28 0 14 14
normalized size 1 1.00 1.93 1.00 1.87 1.87 0.00 0.93 0.93
time (sec) N/A 0.060 0.035 0.070 1.340 0.534 0.000 1.954 0.577
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 7 7 18 8 23 20 0 8 23
normalized size 1 1.00 2.57 1.14 3.29 2.86 0.00 1.14 3.29
time (sec) N/A 0.089 0.022 0.129 0.443 0.463 0.000 0.201 0.610
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 25 11 15 17 0 10 10
normalized size 1 1.00 2.27 1.00 1.36 1.55 0.00 0.91 0.91
time (sec) N/A 0.029 0.016 0.070 0.328 0.485 0.000 1.668 0.563
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 22 8 25 15 0 14 15
normalized size 1 1.00 1.69 0.62 1.92 1.15 0.00 1.08 1.15
time (sec) N/A 0.062 0.022 0.107 0.335 0.688 0.000 0.185 0.564
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 15 24 22 21 27 16 14
normalized size 1 1.00 0.65 1.04 0.96 0.91 1.17 0.70 0.61
time (sec) N/A 0.094 0.015 0.103 0.338 0.502 2.106 0.261 0.589
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 6 6 14 19 38 6 0 18 6
normalized size 1 1.00 2.33 3.17 6.33 1.00 0.00 3.00 1.00
time (sec) N/A 0.070 0.007 0.104 0.656 1.475 0.000 0.212 1.047
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 20 11 34 12 0 10 24
normalized size 1 1.00 2.00 1.10 3.40 1.20 0.00 1.00 2.40
time (sec) N/A 0.067 0.007 0.097 0.431 2.001 0.000 0.427 0.591
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 7 7 36 21 39 20 0 22 11
normalized size 1 1.00 5.14 3.00 5.57 2.86 0.00 3.14 1.57
time (sec) N/A 0.085 0.026 0.112 0.433 0.712 0.000 0.216 0.575
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 10 9 23 17 0 8 8
normalized size 1 1.00 0.83 0.75 1.92 1.42 0.00 0.67 0.67
time (sec) N/A 0.054 0.017 0.065 0.430 0.593 0.000 0.216 0.573
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 25 6 29 15 0 12 11
normalized size 1 1.00 2.27 0.55 2.64 1.36 0.00 1.09 1.00
time (sec) N/A 0.060 0.008 0.089 0.330 1.046 0.000 0.153 0.663
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 9 9 6 5 9 9 0 4 4
normalized size 1 1.00 0.67 0.56 1.00 1.00 0.00 0.44 0.44
time (sec) N/A 0.026 0.019 0.059 0.330 0.577 0.000 0.215 0.542
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 4 4 14 19 38 4 0 18 4
normalized size 1 1.00 3.50 4.75 9.50 1.00 0.00 4.50 1.00
time (sec) N/A 0.070 0.007 0.096 0.447 0.624 0.000 0.199 1.026
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 20 9 46 10 0 10 31
normalized size 1 1.00 2.00 0.90 4.60 1.00 0.00 1.00 3.10
time (sec) N/A 0.068 0.010 0.096 0.652 0.803 0.000 0.196 0.618
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 5 5 46 19 39 18 0 20 9
normalized size 1 1.00 9.20 3.80 7.80 3.60 0.00 4.00 1.80
time (sec) N/A 0.094 0.017 0.113 0.429 0.781 0.000 0.475 0.570
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 13 23 14 0 12 10
normalized size 1 1.00 1.00 0.81 1.44 0.88 0.00 0.75 0.62
time (sec) N/A 0.060 0.015 0.069 0.449 0.689 0.000 0.158 0.578
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 25 6 41 15 0 14 19
normalized size 1 1.00 1.92 0.46 3.15 1.15 0.00 1.08 1.46
time (sec) N/A 0.061 0.010 0.094 0.341 0.536 0.000 0.257 0.610
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 8 9 10 10 0 8 6
normalized size 1 1.00 0.67 0.75 0.83 0.83 0.00 0.67 0.50
time (sec) N/A 0.030 0.007 0.059 0.339 0.907 0.000 0.202 0.534
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 61 21 176 44 0 68 42
normalized size 1 1.00 2.65 0.91 7.65 1.91 0.00 2.96 1.83
time (sec) N/A 0.039 0.186 0.115 0.574 0.645 0.000 1.205 0.656
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 30 30 252 52 0 82 62
normalized size 1 1.00 0.59 0.59 4.94 1.02 0.00 1.61 1.22
time (sec) N/A 0.172 0.070 0.131 0.576 0.612 0.000 0.223 0.619
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 20 17 16 18 0 16 16
normalized size 1 1.00 1.11 0.94 0.89 1.00 0.00 0.89 0.89
time (sec) N/A 0.031 0.107 0.064 0.469 0.501 0.000 0.261 0.059
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 24 42 35 37 0 37 61
normalized size 1 1.00 0.83 1.45 1.21 1.28 0.00 1.28 2.10
time (sec) N/A 0.038 0.035 0.158 0.551 0.436 0.000 0.391 0.695
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 13 11 11 0 11 45
normalized size 1 1.00 1.00 1.18 1.00 1.00 0.00 1.00 4.09
time (sec) N/A 0.025 0.038 0.074 0.645 0.490 0.000 0.252 0.671
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 30 19 39 30 0 79 14
normalized size 1 1.00 1.88 1.19 2.44 1.88 0.00 4.94 0.88
time (sec) N/A 0.032 0.045 0.088 0.472 0.500 0.000 0.278 0.607
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 22 20 245 46 0 72 56
normalized size 1 1.00 0.46 0.42 5.10 0.96 0.00 1.50 1.17
time (sec) N/A 0.108 0.026 0.109 0.477 0.510 0.000 0.253 0.709
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 13 28 12 0 28 20
normalized size 1 1.00 1.00 1.30 2.80 1.20 0.00 2.80 2.00
time (sec) N/A 0.025 0.010 0.121 0.419 0.459 0.000 0.191 0.663
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 23 24 64 31 0 18 33
normalized size 1 1.00 1.64 1.71 4.57 2.21 0.00 1.29 2.36
time (sec) N/A 0.147 0.008 0.124 0.437 0.417 0.000 0.345 0.620
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 13 24 14 0 26 14
normalized size 1 1.00 1.00 1.08 2.00 1.17 0.00 2.17 1.17
time (sec) N/A 0.031 0.008 0.063 0.337 0.456 0.000 0.199 0.059
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 34 60 46 61 0 48 69
normalized size 1 1.00 1.00 1.76 1.35 1.79 0.00 1.41 2.03
time (sec) N/A 0.039 0.015 0.158 0.343 0.427 0.000 0.316 1.000
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 12 26 28 0 28 15
normalized size 1 1.00 1.00 1.09 2.36 2.55 0.00 2.55 1.36
time (sec) N/A 0.026 0.002 0.118 0.328 0.448 0.000 0.988 0.639
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 17 13 0 46 13
normalized size 1 1.00 1.00 0.93 1.13 0.87 0.00 3.07 0.87
time (sec) N/A 0.032 0.012 0.076 0.349 0.390 0.000 0.231 0.043
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 11 44 18 0 10 29
normalized size 1 1.00 1.00 1.10 4.40 1.80 0.00 1.00 2.90
time (sec) N/A 0.086 0.004 0.107 0.335 0.415 0.000 0.204 0.580
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 29 28 28 0 0 29
normalized size 1 1.00 1.00 0.88 0.85 0.85 0.00 0.00 0.88
time (sec) N/A 0.062 0.014 0.051 0.344 0.409 0.000 0.000 0.681
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 38 29 28 28 0 99 49
normalized size 1 1.00 1.15 0.88 0.85 0.85 0.00 3.00 1.48
time (sec) N/A 0.054 0.115 0.044 0.339 0.491 0.000 3.260 0.644
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 29 40 26 25 25 0 102 28
normalized size 1 1.32 1.82 1.18 1.14 1.14 0.00 4.64 1.27
time (sec) N/A 0.030 0.010 0.034 0.412 0.406 0.000 0.271 0.626
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 37 31 25 25 37 27 40
normalized size 1 1.00 1.42 1.19 0.96 0.96 1.42 1.04 1.54
time (sec) N/A 0.013 0.018 0.008 0.354 0.424 0.163 0.157 0.655
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 25 32 34 0 107 40
normalized size 1 1.00 1.00 1.00 1.28 1.36 0.00 4.28 1.60
time (sec) N/A 0.028 0.017 0.035 0.325 0.509 0.000 0.287 0.664
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 28 25 27 24 0 71 24
normalized size 1 1.00 1.00 0.89 0.96 0.86 0.00 2.54 0.86
time (sec) N/A 0.050 0.019 0.039 0.332 0.620 0.000 0.293 0.635
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 28 32 26 0 97 29
normalized size 1 1.00 1.00 0.85 0.97 0.79 0.00 2.94 0.88
time (sec) N/A 0.057 0.022 0.043 0.332 0.577 0.000 0.355 0.693
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 77 100 68 85 0 0 101
normalized size 1 1.00 0.73 0.94 0.64 0.80 0.00 0.00 0.95
time (sec) N/A 0.349 0.385 0.092 0.370 0.592 0.000 0.000 0.793
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 82 86 66 74 0 5161 76
normalized size 1 1.00 0.95 1.00 0.77 0.86 0.00 60.01 0.88
time (sec) N/A 0.190 0.181 0.082 0.334 0.681 0.000 7.762 0.715
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 117 83 76 83 0 5713 121
normalized size 1 1.00 1.34 0.95 0.87 0.95 0.00 65.67 1.39
time (sec) N/A 0.321 0.146 0.074 0.339 0.547 0.000 4.221 0.840
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 116 99 84 108 0 2752 143
normalized size 1 1.00 1.51 1.29 1.09 1.40 0.00 35.74 1.86
time (sec) N/A 0.116 0.581 0.059 0.687 0.650 0.000 1.276 0.797
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 75 123 102 126 0 171 147
normalized size 1 1.00 0.83 1.37 1.13 1.40 0.00 1.90 1.63
time (sec) N/A 0.426 0.192 0.092 0.461 0.706 0.000 1.585 0.788
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 201 109 82 115 0 158 227
normalized size 1 1.00 2.03 1.10 0.83 1.16 0.00 1.60 2.29
time (sec) N/A 0.467 1.118 0.108 0.436 0.654 0.000 2.093 1.026
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 336 169 129 129 0 226 177
normalized size 1 1.00 2.69 1.35 1.03 1.03 0.00 1.81 1.42
time (sec) N/A 0.440 0.608 0.112 0.387 0.577 0.000 1.889 3.269
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 114 109 95 100 0 0 149
normalized size 1 1.00 1.48 1.42 1.23 1.30 0.00 0.00 1.94
time (sec) N/A 0.189 0.233 0.106 0.377 1.268 0.000 0.000 0.800
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 106 128 94 101 0 0 237
normalized size 1 1.00 0.88 1.07 0.78 0.84 0.00 0.00 1.98
time (sec) N/A 0.194 0.187 0.106 0.457 0.694 0.000 0.000 0.792
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 98 147 87 128 0 0 225
normalized size 1 1.00 0.88 1.31 0.78 1.14 0.00 0.00 2.01
time (sec) N/A 0.177 0.268 0.078 0.352 0.611 0.000 0.000 4.182
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 102 164 113 123 0 0 219
normalized size 1 1.00 0.88 1.41 0.97 1.06 0.00 0.00 1.89
time (sec) N/A 0.104 0.293 0.076 0.421 0.615 0.000 0.000 4.524
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 100 213 109 122 0 0 219
normalized size 1 1.00 0.87 1.85 0.95 1.06 0.00 0.00 1.90
time (sec) N/A 0.242 0.512 0.114 0.353 0.492 0.000 0.000 4.447
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 97 204 96 107 0 0 223
normalized size 1 1.00 0.87 1.84 0.86 0.96 0.00 0.00 2.01
time (sec) N/A 0.254 1.897 0.137 0.357 0.608 0.000 0.000 4.217
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 99 252 128 109 0 0 220
normalized size 1 1.00 0.83 2.12 1.08 0.92 0.00 0.00 1.85
time (sec) N/A 0.220 0.317 0.138 0.364 0.649 0.000 0.000 4.153
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 100 111 188 123 0 303 161
normalized size 1 1.00 0.88 0.98 1.66 1.09 0.00 2.68 1.42
time (sec) N/A 0.341 0.368 0.184 0.428 0.636 0.000 0.397 1.160
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 80 93 129 98 0 190 117
normalized size 1 1.00 0.87 1.01 1.40 1.07 0.00 2.07 1.27
time (sec) N/A 0.279 0.228 0.180 0.445 0.779 0.000 0.355 0.823
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 70 80 102 75 0 257 93
normalized size 1 1.00 0.88 1.00 1.28 0.94 0.00 3.21 1.16
time (sec) N/A 0.237 0.098 0.154 0.424 0.556 0.000 0.387 0.868
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 63 75 71 64 0 100 67
normalized size 1 1.00 0.85 1.01 0.96 0.86 0.00 1.35 0.91
time (sec) N/A 0.080 0.093 0.146 0.327 0.541 0.000 0.206 0.900
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 64 75 73 65 0 101 68
normalized size 1 1.00 0.85 1.00 0.97 0.87 0.00 1.35 0.91
time (sec) N/A 0.186 0.063 0.190 0.360 0.775 0.000 0.321 0.708
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 103 95 125 96 0 253 93
normalized size 1 1.00 1.10 1.01 1.33 1.02 0.00 2.69 0.99
time (sec) N/A 0.270 0.151 0.195 0.374 0.896 0.000 0.387 0.843
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 92 110 158 147 0 190 118
normalized size 1 1.00 0.85 1.02 1.46 1.36 0.00 1.76 1.09
time (sec) N/A 0.284 0.290 0.197 0.438 0.672 0.000 0.388 0.827
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 243 243 164 291 0 857 0 1362 7329
normalized size 1 1.00 0.67 1.20 0.00 3.53 0.00 5.60 30.16
time (sec) N/A 0.611 2.952 0.235 0.000 0.591 0.000 1.128 5.445
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 151 255 0 705 0 331 6093
normalized size 1 1.00 0.67 1.12 0.00 3.11 0.00 1.46 26.84
time (sec) N/A 0.491 2.082 0.210 0.000 0.740 0.000 0.738 5.245
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 219 219 131 155 0 518 0 282 213
normalized size 1 1.00 0.60 0.71 0.00 2.37 0.00 1.29 0.97
time (sec) N/A 0.385 1.288 0.175 0.000 0.541 0.000 0.666 1.126
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 128 162 0 526 0 289 245
normalized size 1 1.00 0.63 0.80 0.00 2.59 0.00 1.42 1.21
time (sec) N/A 0.399 1.264 0.180 0.000 0.697 0.000 0.239 1.193
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 127 162 0 532 0 288 245
normalized size 1 1.00 0.93 1.19 0.00 3.91 0.00 2.12 1.80
time (sec) N/A 0.318 1.133 0.220 0.000 0.880 0.000 0.498 1.207
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 121 155 0 516 0 284 215
normalized size 1 1.00 0.92 1.18 0.00 3.94 0.00 2.17 1.64
time (sec) N/A 0.334 0.779 0.219 0.000 0.707 0.000 0.559 1.084
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 196 276 0 864 0 354 6056
normalized size 1 1.00 0.85 1.19 0.00 3.74 0.00 1.53 26.22
time (sec) N/A 0.437 1.969 0.244 0.000 1.659 0.000 0.678 5.207
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 248 248 713 333 684 1180 0 848 527
normalized size 1 1.00 2.88 1.34 2.76 4.76 0.00 3.42 2.12
time (sec) N/A 0.902 6.358 0.227 0.477 1.080 0.000 1.636 2.049
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 232 232 204 295 589 1045 0 676 491
normalized size 1 1.00 0.88 1.27 2.54 4.50 0.00 2.91 2.12
time (sec) N/A 0.762 6.112 0.229 0.883 1.867 0.000 1.394 1.212
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 211 211 184 220 593 994 0 690 490
normalized size 1 1.00 0.87 1.04 2.81 4.71 0.00 3.27 2.32
time (sec) N/A 0.668 5.327 0.191 0.621 0.736 0.000 1.437 1.109
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 229 229 696 322 601 1071 0 800 494
normalized size 1 1.00 3.04 1.41 2.62 4.68 0.00 3.49 2.16
time (sec) N/A 0.480 6.321 0.205 0.415 0.972 0.000 0.415 1.130
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 703 324 602 1076 0 801 496
normalized size 1 1.00 3.04 1.40 2.61 4.66 0.00 3.47 2.15
time (sec) N/A 0.621 6.380 0.234 0.376 0.840 0.000 0.942 1.122
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 217 251 596 939 0 689 492
normalized size 1 1.00 1.02 1.18 2.81 4.43 0.00 3.25 2.32
time (sec) N/A 0.364 6.267 0.249 0.386 1.008 0.000 1.109 1.129
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 228 228 217 256 591 971 0 675 490
normalized size 1 1.00 0.95 1.12 2.59 4.26 0.00 2.96 2.15
time (sec) N/A 0.408 6.233 0.248 0.375 0.782 0.000 1.252 1.133
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 155 155 246 0 180 412 0 0 861
normalized size 1 1.00 1.59 0.00 1.16 2.66 0.00 0.00 5.55
time (sec) N/A 0.385 1.447 4.639 0.362 0.532 0.000 0.000 7.512
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 264 264 6669 0 0 0 0 0 -1
normalized size 1 1.00 25.26 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.764 30.597 2.247 0.000 1.471 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 35 40 36 35 0 0 35
normalized size 1 1.00 0.90 1.03 0.92 0.90 0.00 0.00 0.90
time (sec) N/A 0.073 0.085 0.088 0.344 0.521 0.000 0.000 0.979
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 144 144 106 0 0 0 0 0 -1
normalized size 1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.432 0.371 0.646 0.000 0.470 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 61 81 105 142 0 94 93
normalized size 1 1.00 0.94 1.25 1.62 2.18 0.00 1.45 1.43
time (sec) N/A 0.065 0.136 0.075 0.448 0.649 0.000 5.985 1.381
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 153 174 211 94 0 152 3401
normalized size 1 1.00 1.66 1.89 2.29 1.02 0.00 1.65 36.97
time (sec) N/A 0.139 0.337 0.085 0.463 0.467 0.000 2.008 6.233
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 113 166 278 210 0 190 286
normalized size 1 1.00 0.93 1.36 2.28 1.72 0.00 1.56 2.34
time (sec) N/A 0.166 0.983 0.088 0.447 0.440 0.000 4.003 1.195
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 82 175 212 94 0 156 3419
normalized size 1 1.00 0.88 1.88 2.28 1.01 0.00 1.68 36.76
time (sec) N/A 0.133 0.310 0.082 0.451 0.477 0.000 1.922 6.187
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 115 168 281 215 0 192 277
normalized size 1 1.00 1.03 1.50 2.51 1.92 0.00 1.71 2.47
time (sec) N/A 0.196 0.629 0.087 0.465 0.771 0.000 8.002 1.001
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 178 363 431 174 0 275 5902
normalized size 1 1.00 1.01 2.06 2.45 0.99 0.00 1.56 33.53
time (sec) N/A 0.278 0.522 0.086 0.451 0.726 0.000 1.916 11.949
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 112 170 281 213 0 201 291
normalized size 1 1.00 0.91 1.38 2.28 1.73 0.00 1.63 2.37
time (sec) N/A 0.158 1.020 0.092 0.433 0.521 0.000 8.014 1.265
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 175 287 363 424 175 0 273 5870
normalized size 1 1.00 1.64 2.07 2.42 1.00 0.00 1.56 33.54
time (sec) N/A 0.278 0.786 0.090 0.453 0.644 0.000 0.206 11.144
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 193 193 223 305 521 307 0 361 600
normalized size 1 1.00 1.16 1.58 2.70 1.59 0.00 1.87 3.11
time (sec) N/A 0.359 1.476 0.110 0.450 0.601 0.000 1.688 1.643
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 87 144 120 118 138 991 144 1017
normalized size 1 1.24 2.06 1.71 1.69 1.97 14.16 2.06 14.53
time (sec) N/A 0.166 0.257 0.103 0.452 0.510 2.102 0.189 5.161
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 152 111 142 265 252 0 209 249
normalized size 1 1.38 1.01 1.29 2.41 2.29 0.00 1.90 2.26
time (sec) N/A 0.239 0.593 0.121 0.460 0.513 0.000 0.203 1.232
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 129 198 226 243 259 236 0 223 5431
normalized size 1 1.53 1.75 1.88 2.01 1.83 0.00 1.73 42.10
time (sec) N/A 0.506 1.479 0.114 0.458 0.741 0.000 0.445 7.682
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 151 110 152 264 252 0 204 253
normalized size 1 1.39 1.01 1.39 2.42 2.31 0.00 1.87 2.32
time (sec) N/A 0.259 0.682 0.112 0.443 0.662 0.000 0.989 1.158
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 186 145 260 257 244 0 219 6012
normalized size 1 1.42 1.11 1.98 1.96 1.86 0.00 1.67 45.89
time (sec) N/A 0.545 1.659 0.124 0.459 0.650 0.000 0.147 12.131
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 172 238 200 269 611 360 0 342 594
normalized size 1 1.38 1.16 1.56 3.55 2.09 0.00 1.99 3.45
time (sec) N/A 0.677 1.208 0.139 0.481 0.604 0.000 0.248 2.924
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 196 221 241 256 252 0 214 5428
normalized size 1 1.53 1.73 1.88 2.00 1.97 0.00 1.67 42.41
time (sec) N/A 0.408 1.333 0.115 0.457 0.650 0.000 0.189 8.158
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 238 198 261 606 369 0 335 586
normalized size 1 1.35 1.12 1.48 3.44 2.10 0.00 1.90 3.33
time (sec) N/A 0.697 1.268 0.142 0.485 0.560 0.000 0.255 2.875
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 289 409 515 456 371 0 435 8198
normalized size 1 1.38 1.95 2.45 2.17 1.77 0.00 2.07 39.04
time (sec) N/A 1.251 2.757 0.130 0.470 0.499 0.000 0.156 13.920
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 76 63 98 140 0 90 408
normalized size 1 1.00 1.62 1.34 2.09 2.98 0.00 1.91 8.68
time (sec) N/A 0.079 0.114 0.111 0.452 0.698 0.000 1.781 1.476
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 60 49 79 142 0 75 123
normalized size 1 1.00 1.25 1.02 1.65 2.96 0.00 1.56 2.56
time (sec) N/A 0.078 0.079 0.101 0.458 0.468 0.000 0.211 0.984

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [286] had the largest ratio of [.7222]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 7 5 1.00 14 0.357
2 A 6 4 1.00 14 0.286
3 A 6 5 1.00 12 0.417
4 A 3 2 1.00 9 0.222
5 A 3 2 1.00 12 0.167
6 A 5 4 1.00 14 0.286
7 A 6 5 1.00 14 0.357
8 A 5 5 1.00 16 0.312
9 A 4 4 1.00 16 0.250
10 A 2 2 1.00 14 0.143
11 A 2 2 1.00 11 0.182
12 A 3 3 1.00 14 0.214
13 A 4 4 1.00 16 0.250
14 A 6 6 1.00 16 0.375
15 B 19 11 2.64 16 0.688
16 A 4 4 1.00 16 0.250
17 A 3 3 1.00 14 0.214
18 A 1 1 1.00 11 0.091
19 A 4 4 1.00 14 0.286
20 A 3 2 1.00 16 0.125
21 A 11 7 1.00 16 0.438
22 A 5 5 1.00 16 0.312
23 B 13 7 3.26 16 0.438
24 A 2 2 1.27 14 0.143
25 A 3 3 1.00 11 0.273
26 A 3 2 1.00 14 0.143
27 A 12 7 1.00 16 0.438
28 A 3 2 1.00 16 0.125
29 A 1 1 1.00 33 0.030
30 A 8 5 1.00 26 0.192
31 A 6 4 1.00 26 0.154
32 A 7 5 1.00 26 0.192
33 A 6 4 1.00 26 0.154
34 A 6 5 1.00 24 0.208
35 A 3 2 1.00 17 0.118
36 A 3 2 1.00 24 0.083
37 A 5 4 1.00 26 0.154
38 A 6 5 1.00 26 0.192
39 A 6 5 1.00 26 0.192
40 A 6 4 1.00 26 0.154
41 A 7 5 1.00 26 0.192
42 A 6 4 1.00 26 0.154
43 A 9 6 1.00 28 0.214
44 A 12 6 1.00 28 0.214
45 A 9 6 1.00 28 0.214
46 A 10 6 1.00 28 0.214
47 A 8 5 1.00 26 0.192
48 A 2 2 1.00 19 0.105
49 A 7 6 1.00 26 0.231
50 A 3 3 1.00 28 0.107
51 A 7 5 1.00 28 0.179
52 A 2 2 1.00 28 0.071
53 A 9 6 1.00 28 0.214
54 A 3 2 1.00 28 0.071
55 A 11 6 1.00 28 0.214
56 A 3 2 1.00 28 0.071
57 A 17 7 1.00 28 0.250
58 A 12 7 1.00 28 0.250
59 A 15 8 1.00 28 0.286
60 A 12 6 1.00 28 0.214
61 A 4 4 1.00 26 0.154
62 A 2 1 1.00 19 0.053
63 A 7 6 1.00 26 0.231
64 A 10 8 1.00 28 0.286
65 A 4 4 1.00 28 0.143
66 A 9 5 1.00 28 0.179
67 A 2 2 1.00 28 0.071
68 A 12 7 1.00 28 0.250
69 A 3 2 1.00 28 0.071
70 A 14 7 1.00 28 0.250
71 A 3 2 1.00 28 0.071
72 A 16 7 1.00 28 0.250
73 A 3 2 1.00 28 0.071
74 A 15 7 1.00 28 0.250
75 A 22 7 1.00 28 0.250
76 A 15 7 1.00 28 0.250
77 A 19 8 1.00 28 0.286
78 A 14 6 1.00 26 0.231
79 A 3 2 1.00 19 0.105
80 A 14 8 1.00 26 0.308
81 A 7 6 1.00 28 0.214
82 A 14 9 1.00 28 0.321
83 A 5 5 1.00 28 0.179
84 A 12 5 1.00 28 0.179
85 A 2 2 1.00 28 0.071
86 A 16 7 1.00 28 0.250
87 A 3 2 1.00 28 0.071
88 A 19 7 1.00 28 0.250
89 A 3 2 1.00 28 0.071
90 A 22 7 1.00 28 0.250
91 A 3 2 1.00 28 0.071
92 A 29 10 1.00 28 0.357
93 A 18 7 1.00 28 0.250
94 A 25 8 1.00 28 0.286
95 A 18 7 1.00 28 0.250
96 A 5 4 1.00 26 0.154
97 A 3 2 1.00 19 0.105
98 A 8 6 1.00 26 0.231
99 A 17 10 1.00 28 0.357
100 A 7 6 1.00 28 0.214
101 A 17 10 1.00 28 0.357
102 A 6 5 1.00 28 0.179
103 A 15 6 1.00 28 0.214
104 A 2 2 1.00 28 0.071
105 A 19 8 1.00 28 0.286
106 A 3 2 1.00 28 0.071
107 A 22 8 1.00 28 0.286
108 A 3 2 1.00 28 0.071
109 A 25 8 1.00 28 0.286
110 A 9 5 1.00 28 0.179
111 A 7 5 1.00 28 0.179
112 A 5 5 1.00 28 0.179
113 A 4 4 1.00 28 0.143
114 A 2 2 1.00 26 0.077
115 A 2 2 1.00 19 0.105
116 A 3 3 1.00 26 0.115
117 A 4 4 1.00 28 0.143
118 A 6 6 1.00 28 0.214
119 A 7 5 1.00 28 0.179
120 A 9 6 1.00 28 0.214
121 A 11 5 1.00 28 0.179
122 A 7 6 1.00 28 0.214
123 A 11 6 1.67 28 0.214
124 A 4 4 1.00 28 0.143
125 A 3 3 1.00 26 0.115
126 A 1 1 1.00 19 0.053
127 A 4 4 1.00 26 0.154
128 A 3 2 1.00 28 0.071
129 A 11 7 1.00 28 0.250
130 A 3 2 1.00 28 0.071
131 B 15 7 2.28 28 0.250
132 A 5 5 1.00 28 0.179
133 A 6 4 1.89 28 0.143
134 A 2 2 1.36 26 0.077
135 A 3 3 1.00 19 0.158
136 A 3 2 1.00 26 0.077
137 A 12 7 1.00 28 0.250
138 A 3 2 1.00 28 0.071
139 A 31 8 1.00 28 0.286
140 A 3 2 1.00 28 0.071
141 A 6 5 1.00 28 0.179
142 B 7 4 2.31 28 0.143
143 A 2 2 1.00 28 0.071
144 A 5 5 1.00 26 0.192
145 A 2 2 1.00 19 0.105
146 A 8 5 1.00 26 0.192
147 A 3 2 1.00 28 0.071
148 A 32 8 1.00 28 0.286
149 A 3 2 1.00 28 0.071
150 A 9 6 1.00 31 0.194
151 A 7 5 1.00 31 0.161
152 A 8 6 1.00 31 0.194
153 A 7 5 1.00 31 0.161
154 A 2 2 1.00 29 0.069
155 A 1 1 1.00 22 0.045
156 A 4 3 1.00 29 0.103
157 A 6 5 1.00 31 0.161
158 A 7 6 1.00 31 0.194
159 A 7 6 1.00 31 0.194
160 A 7 5 1.00 31 0.161
161 A 8 6 1.00 31 0.194
162 A 7 5 1.00 31 0.161
163 A 10 7 1.00 31 0.226
164 A 5 4 1.00 31 0.129
165 A 10 7 1.00 31 0.226
166 A 3 2 1.00 31 0.065
167 A 9 6 1.00 29 0.207
168 A 1 1 1.00 22 0.045
169 A 8 7 1.00 29 0.241
170 A 4 3 1.00 31 0.097
171 A 8 6 1.00 31 0.194
172 A 3 3 1.00 31 0.097
173 A 10 7 1.00 31 0.226
174 A 4 3 1.00 31 0.097
175 A 5 4 1.00 31 0.129
176 A 13 8 1.00 31 0.258
177 A 4 2 1.00 31 0.065
178 A 13 7 1.00 31 0.226
179 A 2 2 1.00 29 0.069
180 A 1 1 1.00 22 0.045
181 A 4 3 1.00 29 0.103
182 A 11 9 1.00 31 0.290
183 A 4 3 1.00 31 0.097
184 A 10 6 1.00 31 0.194
185 A 3 3 1.00 31 0.097
186 A 13 8 1.00 31 0.258
187 A 1 1 1.00 33 0.030
188 A 3 3 1.00 7 0.429
189 A 4 3 1.00 10 0.300
190 A 3 3 1.00 10 0.300
191 A 3 3 1.00 10 0.300
192 A 4 4 1.00 10 0.400
193 A 2 2 1.00 10 0.200
194 A 5 5 1.00 10 0.500
195 A 3 3 1.00 9 0.333
196 A 4 3 1.00 12 0.250
197 A 3 3 1.00 12 0.250
198 A 3 3 1.00 12 0.250
199 A 4 4 1.00 12 0.333
200 A 2 2 1.00 12 0.167
201 A 5 5 1.00 12 0.417
202 A 4 4 1.00 20 0.200
203 A 3 3 1.00 10 0.300
204 A 4 3 1.00 10 0.300
205 A 4 4 1.00 10 0.400
206 A 3 3 1.00 10 0.300
207 A 5 5 1.00 10 0.500
208 A 2 2 1.00 10 0.200
209 A 3 3 1.00 12 0.250
210 A 4 3 1.00 12 0.250
211 A 4 4 1.00 12 0.333
212 A 3 3 1.00 12 0.250
213 A 5 5 1.00 12 0.417
214 A 2 2 1.00 12 0.167
215 A 3 3 1.00 15 0.200
216 A 4 2 1.00 22 0.091
217 A 2 2 1.00 22 0.091
218 A 4 3 1.00 22 0.136
219 A 2 2 1.00 22 0.091
220 A 3 2 1.00 22 0.091
221 A 2 1 1.00 22 0.045
222 A 3 3 1.00 17 0.176
223 A 3 2 1.00 24 0.083
224 A 2 2 1.00 24 0.083
225 A 3 2 1.00 24 0.083
226 A 2 2 1.00 24 0.083
227 A 2 1 1.00 24 0.042
228 A 2 1 1.00 24 0.042
229 A 6 4 1.00 26 0.154
230 A 6 5 1.00 26 0.192
231 A 5 5 1.32 24 0.208
232 A 3 2 1.00 17 0.118
233 A 5 5 1.00 24 0.208
234 A 6 5 1.00 26 0.192
235 A 6 4 1.00 26 0.154
236 A 6 5 1.00 28 0.179
237 A 5 5 1.00 28 0.179
238 A 7 7 1.00 26 0.269
239 A 10 8 1.00 19 0.421
240 A 7 7 1.00 26 0.269
241 A 7 7 1.00 28 0.250
242 A 9 9 1.00 28 0.321
243 A 4 3 1.00 28 0.107
244 A 5 4 1.00 28 0.143
245 A 5 4 1.00 26 0.154
246 A 4 3 1.00 19 0.158
247 A 5 4 1.00 26 0.154
248 A 5 4 1.00 28 0.143
249 A 5 4 1.00 28 0.143
250 A 5 4 1.00 28 0.143
251 A 5 4 1.00 28 0.143
252 A 5 4 1.00 26 0.154
253 A 4 3 1.00 19 0.158
254 A 7 5 1.00 26 0.192
255 A 5 4 1.00 28 0.143
256 A 5 4 1.00 28 0.143
257 A 12 8 1.00 28 0.286
258 A 11 7 1.00 28 0.250
259 A 11 7 1.00 26 0.269
260 A 11 7 1.00 19 0.368
261 A 6 6 1.00 26 0.231
262 A 6 6 1.00 28 0.214
263 A 12 8 1.00 28 0.286
264 A 6 5 1.00 28 0.179
265 A 6 5 1.00 28 0.179
266 A 6 5 1.00 26 0.192
267 A 5 4 1.00 19 0.210
268 A 6 5 1.00 26 0.192
269 A 6 5 1.00 28 0.179
270 A 5 4 1.00 28 0.143
271 A 4 3 1.00 28 0.107
272 A 8 7 1.00 28 0.250
273 A 6 4 1.00 26 0.154
274 A 7 4 1.00 28 0.143
275 A 5 5 1.00 16 0.312
276 A 7 7 1.00 18 0.389
277 A 9 8 1.00 18 0.444
278 A 7 7 1.00 18 0.389
279 A 10 8 1.00 20 0.400
280 A 13 8 1.00 20 0.400
281 A 9 8 1.00 18 0.444
282 A 13 9 1.00 20 0.450
283 A 17 9 1.00 20 0.450
284 A 6 5 1.24 16 0.312
285 A 13 8 1.38 18 0.444
286 A 17 13 1.53 18 0.722
287 A 13 8 1.39 18 0.444
288 A 21 10 1.42 20 0.500
289 A 33 12 1.38 20 0.600
290 A 17 13 1.53 18 0.722
291 A 33 12 1.35 20 0.600
292 A 48 12 1.38 20 0.600
293 A 5 4 1.00 14 0.286
294 A 5 4 1.00 14 0.286

[next] [prev] [prev-tail] [front] [up]